#ifndef VIC_H
#define VIC_H

#include <stdint.h>

void VIC_assign_interrupt_channels(uint32_t mask);
void VIC_disable_interrupts(uint32_t mask);
void VIC_clear_softwate_interrupts(uint32_t mask);
void VIC_disable_protection();

#endif
